FOAL 2005 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2005

FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004

Aspect-oriented programming is a paradigm in software engineering and FOAL logos courtesy of Luca Cardelli programming languages that promises better support for separation of concerns. The third Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Third International Conference on Aspect-Oriented Software Development in Lancaster, UK, on March 23, 2004. This workshop was de...

Foundations of Aspect - Oriented Languages Workshop at AOSD 2005

Foal 2003 Proceedings Foundations of Aspect-oriented Langauges Workshop at Aosd 2003 Composition Graphs, a Foundation for Reasoning about Aspect-oriented Composition . . . . . . 1

Aspect-oriented languages offer new modularization concepts and composition approaches to provide more flexible solutions for the separation and integration of concerns. There are significant differences among aspect-oriented languages, due to the specific language constructs that they adopt. In this paper, we propose a common model, called Composition Graph, to represent different aspect-orien...

FOAL 2003 Proceedings Foundations of Aspect-Oriented Langauges Workshop at AOSD 2003

Aspect-oriented languages offer new modularization concepts and composition approaches to provide more flexible solutions for the separation and integration of concerns. There are significant differences among aspect-oriented languages, due to the specific language constructs that they adopt. In this paper, we propose a common model, called Composition Graph, to represent different aspect-orien...

FOAL 2005 Proceedings Foundations of Aspect - Oriented Languages

The proof of the behaviour-preserving property of programming laws is not trivially demonstrated. It is necessary to show that the programs, before and after the transformation, have the same behaviour. In this paper we show how it is possible to prove that an aspect-oriented programming law preserves behaviour; an operational semantics for Method Call Interception is used. An equivalence relat...